Crédit et développement agricole à Valladolid de Michoacán, Mexique 1750-1860

Développement formel par composants Assemblage et vérification à l'aide de B

In a software component-based development approach, components are considered as black boxes. A component-based application consists of assembled components which communicate by the means of their interfaces. A formal description of these interfaces is therefore required to check their compatibility. In general, interfaces are not directly compatible and an adapter is required to bridge the gap...

L'informatique universitaire à Nancy : un demi-siècle de développement

C’est grâce à l’intuition et à l’esprit d’entreprise d’un professeur de mécanique rationnelle et d’analyse numérique à la faculté des Sciences, Jean Legras, puis à l’intérêt rapidement manifesté par un professeur de mathématiques en classe préparatoire, Claude Pair, que Nancy a été une des pionnières de l’informatique universitaire. L’informatique nancéienne débute en 1957, lorsque Jean Legras ...

la relation entre dieu et homme à travers les contemplations de hugo et jocelyn de lamartine

پیشرفت علم و تکنولوژی هنوز هم نتوانسته رضایت بشریت را جلب کند. انسانی که در جستجوی چیزی از جنس دیگر، در واقع به دنبال جاودانگی است و با الهام از فطرت خویش، همواره تشنه ی اتصال به منبعی ابدی است. او می نگارد و سخن می راند و سخن منجر به عمل خواهد شد. بنابر این نویسنده عامل تحول می گردد؛ تحولی آن چنان عظیم که هیچ کس قادر به نادیده گرفتن دنیای اطراف خود نباشد. انسان قرن نوزدهم در جامعه ی نوپای ...

De Globulis Sanguinis, Colore Et Qualitatibus (1650-1860) *

Doubtless early man gazed with wonder on the brightly flowing blood whose loss meant death to prey, or foe, or friend. This connection of blood with life is nowhere more clearly expressed than in the reiterated prohibitions of the Mosaic law, as: "Only be sure that thou eat not the blood: for the blood is the life; and thou mayest not eat the life with the flesh" (Deuteronomy xii:23). Hippocrat...

Le développement de la science à Genève aux XVIIIe et XIXe siècles. Le cas d'une communauté scientifique